perm filename MATCH.VLI[VLI,LSP] blob sn#382029 filedate 1978-09-08 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	(de match (pa da ali)
C00003 ENDMK
CāŠ—;
(de match (pa da ali)
  (cond ((atom pa) (if (equal pa da) ali nil))
        ((atom da) nil)
        ((eq (car pa) 'variable)
           ((lambda (x)
              (if x (if (equal (cdr x) (nextl da))
                        (match (cdr pa) da ali))
                  (setq ali (cons (cons (cadr pa) (cons (car da) nil))
                                  ali))
                  (match (cdr pa) (cdr da) ali)))
            (assoc (cadr pa) ali)))
        (t
            (match (cdr pa) (cdr da)
                   (match (car pa) (car da) ali)))))